منابع مشابه
Weakly one-based geometric theories
We study the class of weakly locally modular geometric theories introduced in [5], a common generalization of the classes of linear SU-rank 1 and linear o-minimal theories. We nd new conditions equivalent to weak local modularity: weak one-basedness and the absence of type de nable almost quasidesigns. Among other things, we show that weak one-basedness is closed under reducts and generic predi...
متن کاملWeakly Classical Theories of Identity
There are well-known quasi-formal arguments that identity is a “strict” relation in at least the following three senses: (1) There is a single identity relation and a single distinctness relation; (2) There are no contingent cases of identity or distinctness; and (3) There are no vague or indeterminate cases of identity or distinctness. However, the situation is less clear cut than it at first ...
متن کاملGeometric Theories and Databases
Domain theoretic understanding of databases as elements of powerdomains is modified to allow multisets of records instead of sets. This is related to geometric theories and classifying toposes, and it is shown that algebraic base domains lead to algebraic categories of models in two cases analogous to the lower (Hoare) powerdomain and Gunter’s mixed powerdomain. Terminology Throughout this pape...
متن کاملGeneric trivializations of geometric theories
We study the theory T ∗ of the structure induced by parameter free formulas on a dense algebraically independent subset of a model of a geometric theory T . We show that while being a trivial geometric theory, T ∗ inherits most of the model theoretic complexity of T related to stability, simplicity, rosiness, NIP and NTP2. In particular, we show that T is strongly minimal, supersimple of SU-ran...
متن کاملSupersymmetric Theories from Geometric Transitions
We study large N dualities for a general class of N = 1 theories realized on type IIB D5 branes wrapping 2-cycles of local Calabi-Yau threefolds or as effective field theories on D4 branes in type IIA brane configurations. We completely solve the issue of the classical moduli space for N = 2, ∏ n i=1 U(Ni) theories deformed by a general superpotential for the adjoint and bifundamental fields. T...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2012
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1333566629